mine pump - German English Dictionary